3.5.19 \(\int \frac {(a+a \sec (c+d x))^{5/2}}{\cos ^{\frac {5}{2}}(c+d x)} \, dx\) [419]

Optimal. Leaf size=220 \[ \frac {163 a^{5/2} \sinh ^{-1}\left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{64 d}+\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{64 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)} \]

[Out]

163/64*a^(5/2)*arcsinh(a^(1/2)*tan(d*x+c)/(a+a*sec(d*x+c))^(1/2))*cos(d*x+c)^(1/2)*sec(d*x+c)^(1/2)/d+17/24*a^
3*sin(d*x+c)/d/cos(d*x+c)^(7/2)/(a+a*sec(d*x+c))^(1/2)+163/96*a^3*sin(d*x+c)/d/cos(d*x+c)^(5/2)/(a+a*sec(d*x+c
))^(1/2)+163/64*a^3*sin(d*x+c)/d/cos(d*x+c)^(3/2)/(a+a*sec(d*x+c))^(1/2)+1/4*a^2*sin(d*x+c)*(a+a*sec(d*x+c))^(
1/2)/d/cos(d*x+c)^(7/2)

________________________________________________________________________________________

Rubi [A]
time = 0.29, antiderivative size = 220, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 6, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.240, Rules used = {4349, 3899, 4101, 3888, 3886, 221} \begin {gather*} \frac {163 a^{5/2} \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)} \sinh ^{-1}\left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a \sec (c+d x)+a}}\right )}{64 d}+\frac {163 a^3 \sin (c+d x)}{64 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}+\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}+\frac {a^2 \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{4 d \cos ^{\frac {7}{2}}(c+d x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + a*Sec[c + d*x])^(5/2)/Cos[c + d*x]^(5/2),x]

[Out]

(163*a^(5/2)*ArcSinh[(Sqrt[a]*Tan[c + d*x])/Sqrt[a + a*Sec[c + d*x]]]*Sqrt[Cos[c + d*x]]*Sqrt[Sec[c + d*x]])/(
64*d) + (17*a^3*Sin[c + d*x])/(24*d*Cos[c + d*x]^(7/2)*Sqrt[a + a*Sec[c + d*x]]) + (163*a^3*Sin[c + d*x])/(96*
d*Cos[c + d*x]^(5/2)*Sqrt[a + a*Sec[c + d*x]]) + (163*a^3*Sin[c + d*x])/(64*d*Cos[c + d*x]^(3/2)*Sqrt[a + a*Se
c[c + d*x]]) + (a^2*Sqrt[a + a*Sec[c + d*x]]*Sin[c + d*x])/(4*d*Cos[c + d*x]^(7/2))

Rule 221

Int[1/Sqrt[(a_) + (b_.)*(x_)^2], x_Symbol] :> Simp[ArcSinh[Rt[b, 2]*(x/Sqrt[a])]/Rt[b, 2], x] /; FreeQ[{a, b},
 x] && GtQ[a, 0] && PosQ[b]

Rule 3886

Int[Sqrt[csc[(e_.) + (f_.)*(x_)]*(d_.)]*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)], x_Symbol] :> Dist[-2*(a/(b
*f))*Sqrt[a*(d/b)], Subst[Int[1/Sqrt[1 + x^2/a], x], x, b*(Cot[e + f*x]/Sqrt[a + b*Csc[e + f*x]])], x] /; Free
Q[{a, b, d, e, f}, x] && EqQ[a^2 - b^2, 0] && GtQ[a*(d/b), 0]

Rule 3888

Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)], x_Symbol] :> Simp[-2*b*d*
Cot[e + f*x]*((d*Csc[e + f*x])^(n - 1)/(f*(2*n - 1)*Sqrt[a + b*Csc[e + f*x]])), x] + Dist[2*a*d*((n - 1)/(b*(2
*n - 1))), Int[Sqrt[a + b*Csc[e + f*x]]*(d*Csc[e + f*x])^(n - 1), x], x] /; FreeQ[{a, b, d, e, f}, x] && EqQ[a
^2 - b^2, 0] && GtQ[n, 1] && IntegerQ[2*n]

Rule 3899

Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_))^(m_), x_Symbol] :> Simp[(-b^2)
*Cot[e + f*x]*(a + b*Csc[e + f*x])^(m - 2)*((d*Csc[e + f*x])^n/(f*(m + n - 1))), x] + Dist[b/(m + n - 1), Int[
(a + b*Csc[e + f*x])^(m - 2)*(d*Csc[e + f*x])^n*(b*(m + 2*n - 1) + a*(3*m + 2*n - 4)*Csc[e + f*x]), x], x] /;
FreeQ[{a, b, d, e, f, n}, x] && EqQ[a^2 - b^2, 0] && GtQ[m, 1] && NeQ[m + n - 1, 0] && IntegerQ[2*m]

Rule 4101

Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)]*(csc[(e_.) + (f_.)*(x_)]*(
B_.) + (A_)), x_Symbol] :> Simp[-2*b*B*Cot[e + f*x]*((d*Csc[e + f*x])^n/(f*(2*n + 1)*Sqrt[a + b*Csc[e + f*x]])
), x] + Dist[(A*b*(2*n + 1) + 2*a*B*n)/(b*(2*n + 1)), Int[Sqrt[a + b*Csc[e + f*x]]*(d*Csc[e + f*x])^n, x], x]
/; FreeQ[{a, b, d, e, f, A, B, n}, x] && NeQ[A*b - a*B, 0] && EqQ[a^2 - b^2, 0] && NeQ[A*b*(2*n + 1) + 2*a*B*n
, 0] &&  !LtQ[n, 0]

Rule 4349

Int[(u_)*((c_.)*sin[(a_.) + (b_.)*(x_)])^(m_.), x_Symbol] :> Dist[(c*Csc[a + b*x])^m*(c*Sin[a + b*x])^m, Int[A
ctivateTrig[u]/(c*Csc[a + b*x])^m, x], x] /; FreeQ[{a, b, c, m}, x] &&  !IntegerQ[m] && KnownSecantIntegrandQ[
u, x]

Rubi steps

\begin {align*} \int \frac {(a+a \sec (c+d x))^{5/2}}{\cos ^{\frac {5}{2}}(c+d x)} \, dx &=\left (\sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \sec ^{\frac {5}{2}}(c+d x) (a+a \sec (c+d x))^{5/2} \, dx\\ &=\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {1}{4} \left (a \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \sec ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)} \left (\frac {13 a}{2}+\frac {17}{2} a \sec (c+d x)\right ) \, dx\\ &=\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {1}{48} \left (163 a^2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \sec ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)} \, dx\\ &=\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {1}{64} \left (163 a^2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \sec ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)} \, dx\\ &=\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{64 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {1}{128} \left (163 a^2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \sqrt {\sec (c+d x)} \sqrt {a+a \sec (c+d x)} \, dx\\ &=\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{64 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}-\frac {\left (163 a^2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1+\frac {x^2}{a}}} \, dx,x,-\frac {a \tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{64 d}\\ &=\frac {163 a^{5/2} \sinh ^{-1}\left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{64 d}+\frac {17 a^3 \sin (c+d x)}{24 d \cos ^{\frac {7}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{96 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {163 a^3 \sin (c+d x)}{64 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {a^2 \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{4 d \cos ^{\frac {7}{2}}(c+d x)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in optimal.
time = 5.56, size = 190, normalized size = 0.86 \begin {gather*} \frac {a^2 (1+\cos (c+d x))^2 \sec ^5\left (\frac {1}{2} (c+d x)\right ) \sqrt {a (1+\sec (c+d x))} \left (-489 i e^{\frac {1}{2} i (c+d x)} \cos ^4(c+d x) \, _2F_1\left (\frac {1}{4},1;\frac {5}{4};-e^{2 i (c+d x)}\right )-163 i e^{\frac {3}{2} i (c+d x)} \cos ^4(c+d x) \, _2F_1\left (\frac {3}{4},1;\frac {7}{4};-e^{2 i (c+d x)}\right )+\left (48+184 \cos (c+d x)+326 \cos ^2(c+d x)+489 \cos ^3(c+d x)\right ) \sin \left (\frac {1}{2} (c+d x)\right )\right )}{768 d \cos ^{\frac {7}{2}}(c+d x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + a*Sec[c + d*x])^(5/2)/Cos[c + d*x]^(5/2),x]

[Out]

(a^2*(1 + Cos[c + d*x])^2*Sec[(c + d*x)/2]^5*Sqrt[a*(1 + Sec[c + d*x])]*((-489*I)*E^((I/2)*(c + d*x))*Cos[c +
d*x]^4*Hypergeometric2F1[1/4, 1, 5/4, -E^((2*I)*(c + d*x))] - (163*I)*E^(((3*I)/2)*(c + d*x))*Cos[c + d*x]^4*H
ypergeometric2F1[3/4, 1, 7/4, -E^((2*I)*(c + d*x))] + (48 + 184*Cos[c + d*x] + 326*Cos[c + d*x]^2 + 489*Cos[c
+ d*x]^3)*Sin[(c + d*x)/2]))/(768*d*Cos[c + d*x]^(7/2))

________________________________________________________________________________________

Maple [A]
time = 0.12, size = 276, normalized size = 1.25

method result size
default \(\frac {\left (-489 \left (\cos ^{4}\left (d x +c \right )\right ) \sqrt {2}\, \arctan \left (\frac {\sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}\, \left (1+\cos \left (d x +c \right )-\sin \left (d x +c \right )\right ) \sqrt {2}}{4}\right )+489 \left (\cos ^{4}\left (d x +c \right )\right ) \sqrt {2}\, \arctan \left (\frac {\sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}\, \left (1+\cos \left (d x +c \right )+\sin \left (d x +c \right )\right ) \sqrt {2}}{4}\right )+978 \sin \left (d x +c \right ) \left (\cos ^{3}\left (d x +c \right )\right ) \sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}+652 \sin \left (d x +c \right ) \left (\cos ^{2}\left (d x +c \right )\right ) \sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}+368 \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}+96 \sin \left (d x +c \right ) \sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}\right ) \sqrt {\frac {a \left (1+\cos \left (d x +c \right )\right )}{\cos \left (d x +c \right )}}\, \sqrt {-\frac {2}{1+\cos \left (d x +c \right )}}\, \left (\cos ^{2}\left (d x +c \right )-1\right ) a^{2}}{768 d \cos \left (d x +c \right )^{\frac {7}{2}} \sin \left (d x +c \right )^{2}}\) \(276\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a+a*sec(d*x+c))^(5/2)/cos(d*x+c)^(5/2),x,method=_RETURNVERBOSE)

[Out]

1/768/d*(-489*cos(d*x+c)^4*2^(1/2)*arctan(1/4*(-2/(1+cos(d*x+c)))^(1/2)*(1+cos(d*x+c)-sin(d*x+c))*2^(1/2))+489
*cos(d*x+c)^4*2^(1/2)*arctan(1/4*(-2/(1+cos(d*x+c)))^(1/2)*(1+cos(d*x+c)+sin(d*x+c))*2^(1/2))+978*sin(d*x+c)*c
os(d*x+c)^3*(-2/(1+cos(d*x+c)))^(1/2)+652*sin(d*x+c)*cos(d*x+c)^2*(-2/(1+cos(d*x+c)))^(1/2)+368*cos(d*x+c)*sin
(d*x+c)*(-2/(1+cos(d*x+c)))^(1/2)+96*sin(d*x+c)*(-2/(1+cos(d*x+c)))^(1/2))*(a*(1+cos(d*x+c))/cos(d*x+c))^(1/2)
*(-2/(1+cos(d*x+c)))^(1/2)/cos(d*x+c)^(7/2)/sin(d*x+c)^2*(cos(d*x+c)^2-1)*a^2

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 3860 vs. \(2 (184) = 368\).
time = 0.84, size = 3860, normalized size = 17.55 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+a*sec(d*x+c))^(5/2)/cos(d*x+c)^(5/2),x, algorithm="maxima")

[Out]

-1/768*(1956*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) +
 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(15/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) + 652*(sqrt(2)*a^2*sin(
8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c
))*cos(13/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) + 6204*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*
sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(11/4*arctan2(sin(2*d*x
 + 2*c), cos(2*d*x + 2*c))) - 2060*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*
a^2*sin(4*d*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(9/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) +
2060*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) + 4*sqrt(
2)*a^2*sin(2*d*x + 2*c))*cos(7/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) - 6204*(sqrt(2)*a^2*sin(8*d*x +
8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(5
/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) - 652*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x
+ 6*c) + 6*sqrt(2)*a^2*sin(4*d*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(3/4*arctan2(sin(2*d*x + 2*c), co
s(2*d*x + 2*c))) - 1956*(sqrt(2)*a^2*sin(8*d*x + 8*c) + 4*sqrt(2)*a^2*sin(6*d*x + 6*c) + 6*sqrt(2)*a^2*sin(4*d
*x + 4*c) + 4*sqrt(2)*a^2*sin(2*d*x + 2*c))*cos(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) - 489*(a^2*co
s(8*d*x + 8*c)^2 + 16*a^2*cos(6*d*x + 6*c)^2 + 36*a^2*cos(4*d*x + 4*c)^2 + 16*a^2*cos(2*d*x + 2*c)^2 + a^2*sin
(8*d*x + 8*c)^2 + 16*a^2*sin(6*d*x + 6*c)^2 + 36*a^2*sin(4*d*x + 4*c)^2 + 48*a^2*sin(4*d*x + 4*c)*sin(2*d*x +
2*c) + 16*a^2*sin(2*d*x + 2*c)^2 + 8*a^2*cos(2*d*x + 2*c) + a^2 + 2*(4*a^2*cos(6*d*x + 6*c) + 6*a^2*cos(4*d*x
+ 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2)*cos(8*d*x + 8*c) + 8*(6*a^2*cos(4*d*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) +
 a^2)*cos(6*d*x + 6*c) + 12*(4*a^2*cos(2*d*x + 2*c) + a^2)*cos(4*d*x + 4*c) + 4*(2*a^2*sin(6*d*x + 6*c) + 3*a^
2*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x + 2*c))*sin(8*d*x + 8*c) + 16*(3*a^2*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x +
 2*c))*sin(6*d*x + 6*c))*log(2*cos(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c)))^2 + 2*sin(1/4*arctan2(sin(
2*d*x + 2*c), cos(2*d*x + 2*c)))^2 + 2*sqrt(2)*cos(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) + 2*sqrt(2
)*sin(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) + 2) + 489*(a^2*cos(8*d*x + 8*c)^2 + 16*a^2*cos(6*d*x +
 6*c)^2 + 36*a^2*cos(4*d*x + 4*c)^2 + 16*a^2*cos(2*d*x + 2*c)^2 + a^2*sin(8*d*x + 8*c)^2 + 16*a^2*sin(6*d*x +
6*c)^2 + 36*a^2*sin(4*d*x + 4*c)^2 + 48*a^2*sin(4*d*x + 4*c)*sin(2*d*x + 2*c) + 16*a^2*sin(2*d*x + 2*c)^2 + 8*
a^2*cos(2*d*x + 2*c) + a^2 + 2*(4*a^2*cos(6*d*x + 6*c) + 6*a^2*cos(4*d*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2
)*cos(8*d*x + 8*c) + 8*(6*a^2*cos(4*d*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2)*cos(6*d*x + 6*c) + 12*(4*a^2*co
s(2*d*x + 2*c) + a^2)*cos(4*d*x + 4*c) + 4*(2*a^2*sin(6*d*x + 6*c) + 3*a^2*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x
+ 2*c))*sin(8*d*x + 8*c) + 16*(3*a^2*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x + 2*c))*sin(6*d*x + 6*c))*log(2*cos(1/
4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c)))^2 + 2*sin(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c)))^2 +
2*sqrt(2)*cos(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) - 2*sqrt(2)*sin(1/4*arctan2(sin(2*d*x + 2*c), c
os(2*d*x + 2*c))) + 2) - 489*(a^2*cos(8*d*x + 8*c)^2 + 16*a^2*cos(6*d*x + 6*c)^2 + 36*a^2*cos(4*d*x + 4*c)^2 +
 16*a^2*cos(2*d*x + 2*c)^2 + a^2*sin(8*d*x + 8*c)^2 + 16*a^2*sin(6*d*x + 6*c)^2 + 36*a^2*sin(4*d*x + 4*c)^2 +
48*a^2*sin(4*d*x + 4*c)*sin(2*d*x + 2*c) + 16*a^2*sin(2*d*x + 2*c)^2 + 8*a^2*cos(2*d*x + 2*c) + a^2 + 2*(4*a^2
*cos(6*d*x + 6*c) + 6*a^2*cos(4*d*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2)*cos(8*d*x + 8*c) + 8*(6*a^2*cos(4*d
*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2)*cos(6*d*x + 6*c) + 12*(4*a^2*cos(2*d*x + 2*c) + a^2)*cos(4*d*x + 4*c
) + 4*(2*a^2*sin(6*d*x + 6*c) + 3*a^2*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x + 2*c))*sin(8*d*x + 8*c) + 16*(3*a^2*
sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x + 2*c))*sin(6*d*x + 6*c))*log(2*cos(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x
 + 2*c)))^2 + 2*sin(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c)))^2 - 2*sqrt(2)*cos(1/4*arctan2(sin(2*d*x +
 2*c), cos(2*d*x + 2*c))) + 2*sqrt(2)*sin(1/4*arctan2(sin(2*d*x + 2*c), cos(2*d*x + 2*c))) + 2) + 489*(a^2*cos
(8*d*x + 8*c)^2 + 16*a^2*cos(6*d*x + 6*c)^2 + 36*a^2*cos(4*d*x + 4*c)^2 + 16*a^2*cos(2*d*x + 2*c)^2 + a^2*sin(
8*d*x + 8*c)^2 + 16*a^2*sin(6*d*x + 6*c)^2 + 36*a^2*sin(4*d*x + 4*c)^2 + 48*a^2*sin(4*d*x + 4*c)*sin(2*d*x + 2
*c) + 16*a^2*sin(2*d*x + 2*c)^2 + 8*a^2*cos(2*d*x + 2*c) + a^2 + 2*(4*a^2*cos(6*d*x + 6*c) + 6*a^2*cos(4*d*x +
 4*c) + 4*a^2*cos(2*d*x + 2*c) + a^2)*cos(8*d*x + 8*c) + 8*(6*a^2*cos(4*d*x + 4*c) + 4*a^2*cos(2*d*x + 2*c) +
a^2)*cos(6*d*x + 6*c) + 12*(4*a^2*cos(2*d*x + 2*c) + a^2)*cos(4*d*x + 4*c) + 4*(2*a^2*sin(6*d*x + 6*c) + 3*a^2
*sin(4*d*x + 4*c) + 2*a^2*sin(2*d*x + 2*c))*sin...

________________________________________________________________________________________

Fricas [A]
time = 2.84, size = 437, normalized size = 1.99 \begin {gather*} \left [\frac {4 \, {\left (489 \, a^{2} \cos \left (d x + c\right )^{3} + 326 \, a^{2} \cos \left (d x + c\right )^{2} + 184 \, a^{2} \cos \left (d x + c\right ) + 48 \, a^{2}\right )} \sqrt {\frac {a \cos \left (d x + c\right ) + a}{\cos \left (d x + c\right )}} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) + 489 \, {\left (a^{2} \cos \left (d x + c\right )^{5} + a^{2} \cos \left (d x + c\right )^{4}\right )} \sqrt {a} \log \left (\frac {a \cos \left (d x + c\right )^{3} - 4 \, \sqrt {a} \sqrt {\frac {a \cos \left (d x + c\right ) + a}{\cos \left (d x + c\right )}} {\left (\cos \left (d x + c\right ) - 2\right )} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) - 7 \, a \cos \left (d x + c\right )^{2} + 8 \, a}{\cos \left (d x + c\right )^{3} + \cos \left (d x + c\right )^{2}}\right )}{768 \, {\left (d \cos \left (d x + c\right )^{5} + d \cos \left (d x + c\right )^{4}\right )}}, \frac {2 \, {\left (489 \, a^{2} \cos \left (d x + c\right )^{3} + 326 \, a^{2} \cos \left (d x + c\right )^{2} + 184 \, a^{2} \cos \left (d x + c\right ) + 48 \, a^{2}\right )} \sqrt {\frac {a \cos \left (d x + c\right ) + a}{\cos \left (d x + c\right )}} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) + 489 \, {\left (a^{2} \cos \left (d x + c\right )^{5} + a^{2} \cos \left (d x + c\right )^{4}\right )} \sqrt {-a} \arctan \left (\frac {2 \, \sqrt {-a} \sqrt {\frac {a \cos \left (d x + c\right ) + a}{\cos \left (d x + c\right )}} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right )}{a \cos \left (d x + c\right )^{2} - a \cos \left (d x + c\right ) - 2 \, a}\right )}{384 \, {\left (d \cos \left (d x + c\right )^{5} + d \cos \left (d x + c\right )^{4}\right )}}\right ] \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+a*sec(d*x+c))^(5/2)/cos(d*x+c)^(5/2),x, algorithm="fricas")

[Out]

[1/768*(4*(489*a^2*cos(d*x + c)^3 + 326*a^2*cos(d*x + c)^2 + 184*a^2*cos(d*x + c) + 48*a^2)*sqrt((a*cos(d*x +
c) + a)/cos(d*x + c))*sqrt(cos(d*x + c))*sin(d*x + c) + 489*(a^2*cos(d*x + c)^5 + a^2*cos(d*x + c)^4)*sqrt(a)*
log((a*cos(d*x + c)^3 - 4*sqrt(a)*sqrt((a*cos(d*x + c) + a)/cos(d*x + c))*(cos(d*x + c) - 2)*sqrt(cos(d*x + c)
)*sin(d*x + c) - 7*a*cos(d*x + c)^2 + 8*a)/(cos(d*x + c)^3 + cos(d*x + c)^2)))/(d*cos(d*x + c)^5 + d*cos(d*x +
 c)^4), 1/384*(2*(489*a^2*cos(d*x + c)^3 + 326*a^2*cos(d*x + c)^2 + 184*a^2*cos(d*x + c) + 48*a^2)*sqrt((a*cos
(d*x + c) + a)/cos(d*x + c))*sqrt(cos(d*x + c))*sin(d*x + c) + 489*(a^2*cos(d*x + c)^5 + a^2*cos(d*x + c)^4)*s
qrt(-a)*arctan(2*sqrt(-a)*sqrt((a*cos(d*x + c) + a)/cos(d*x + c))*sqrt(cos(d*x + c))*sin(d*x + c)/(a*cos(d*x +
 c)^2 - a*cos(d*x + c) - 2*a)))/(d*cos(d*x + c)^5 + d*cos(d*x + c)^4)]

________________________________________________________________________________________

Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+a*sec(d*x+c))**(5/2)/cos(d*x+c)**(5/2),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+a*sec(d*x+c))^(5/2)/cos(d*x+c)^(5/2),x, algorithm="giac")

[Out]

integrate((a*sec(d*x + c) + a)^(5/2)/cos(d*x + c)^(5/2), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+\frac {a}{\cos \left (c+d\,x\right )}\right )}^{5/2}}{{\cos \left (c+d\,x\right )}^{5/2}} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + a/cos(c + d*x))^(5/2)/cos(c + d*x)^(5/2),x)

[Out]

int((a + a/cos(c + d*x))^(5/2)/cos(c + d*x)^(5/2), x)

________________________________________________________________________________________